Standard ML - PDFSEARCH.IO - Document Search Engine

Standard ML
Results: 230

#	Item
11	Proving Correctness via Free Theorems The Case of the destroy/build-Rule Janis Voigtl¨ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Recursion Fold FO Haskell features Standard ML
12	Hand-Writing Program Generator Generators Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark e-mail: & Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:53 Software engineering Computer programming Computing Procedural programming languages Functional languages Programming language implementation Data types Compiler construction Standard ML Interpreter Compiler-compiler Type system
13	Technical Report TTIC-TRMay 2009 CEAL: A C-Based Language for Self-Adjusting Computation Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-07-23 03:32:59 Software engineering Computer programming Computing Functional languages Data types Functional programming Subroutines Procedural programming languages Eval Standard ML Const Continuation-passing style
14	Portable library descriptions for Standard ML Matthias Blume∗ Lucent Technologies, Bell Labs 600 Mountain Avenue, 2C-481 Murray Hill, NJ 07974, USA November 26, 2001 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2009-07-14 15:46:41 Graph theory Discrete mathematics Mathematics Graphs Graph Hypergraphs Multigraph
15	Secrets of the Glasgow Haskell Compiler inliner Simon Peyton Jones Microsoft Research Ltd, Cambridge Simon Marlow Add to Reading List Source URL: research.microsoft.com Language: English - Date: 1999-09-06 04:29:36 Software engineering Computer programming Computing Subroutines Type theory Lambda calculus Theoretical computer science Data types Inline expansion Mutual recursion Recursion Standard ML
16	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
17	From Hindley-Milner Types to First-Class Structures Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, England. Abstract Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2005-10-01 03:14:51 Type theory Software engineering Programming language theory Computer programming Standard ML System F ML Type constructor Polymorphism Kind System U Type inference
18	How to make ad-hoc polymorphism less ad hoc Philip Wadler and Stephen Blott University of Glasgow OctoberAbstract Add to Reading List Source URL: 202.3.77.10 Language: English - Date: 2016-05-28 06:05:21 Software engineering Computer programming Programming language theory Type theory Data types Functional programming Functional languages Procedural programming languages Type class Standard ML Parametric polymorphism Relational operator
19	The FLaSH Project Resource-Aware Synthesis of Declarative Specifications Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:01 Software engineering Computer programming Computing Subroutines Functional languages Programming language implementation Procedural programming languages Recursion Standard ML Compiler Inline expansion ML
20	Laziness Without All the Hard Work Combining Lazy and Strict Languages for Teaching Eli Barzilay John Clements Add to Reading List Source URL: barzilay.org Language: English - Date: 2005-07-27 04:57:25 Software engineering Computer programming Computing Functional languages Functional programming Lambda calculus Evaluation strategy Procedural programming languages Eval Scheme Lazy evaluation Standard ML